Relativkalkül

Relativkalkül
(m)
(уст.) исчисление предикатов

Немецко-русский математический словарь. 2013.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "Relativkalkül" в других словарях:

  • Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… …   Wikipedia

  • ЛЁВЕНХЕЙМ — (Löwenheim), Леопольд (1878–1940) – нем. логик и математик. Осн. работы Л. посвящены исследованию разрешения проблемы для узкого предикатов исчисления. Он доказал, что решение этой проблемы в общем случае сводится к ее решению для случая, когда… …   Философская энциклопедия

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • Leopold Löwenheim — (1878, Krefeld Germany 1957, Berlin) was a German mathematician, known for his work in mathematical logic. The Nazi regime forced him to retire because under the Nuremberg Laws he was considered only three quarters Aryan. In 1943 much of his work …   Wikipedia

  • Monadic predicate calculus — In logic, the monadic predicate calculus is the fragment of predicate calculus in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters. All atomic formulae have the form P(x), where P… …   Wikipedia

  • Leopold Lowenheim — Leopold Löwenheim Leopold Löwenheim (1878, Krefeld, Allemagne 1957, Berlin) était un mathématicien allemand, connu pour ses travaux en logique mathématique. Le régime Nazi l a forcé à démissionner car il n était aryen « qu aux trois… …   Wikipédia en Français

  • Leopold Löwenheim — (1878, Krefeld, Allemagne 1957, Berlin) était un mathématicien allemand, connu pour ses travaux en logique mathématique. Le régime Nazi l a forcé à démissionner car il n était aryen « qu aux trois quarts ». En 1943 la plupart de ses… …   Wikipédia en Français


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»